(0 7 3)(1 17 4)(2 20 14)(5 19 6)(8 12 10)(9 18 16)(11 15 13)
ALLOWS (11/8)-SEQUENCE
1: (4 11 17)
(0 7 3)(1 17 15 13 11)(2 20 14)(4)(5 19 6)(8 12 10)(9 18 16)
2: (9 18 16)
(0 7 3)(1 17 15 13 11)(2 20 14)(4)(5 19 6)(8 12 10)(9)(16)(18)
3: (8 12 10)
(0 7 3)(1 17 15 13 11)(2 20 14)(4)(5 19 6)(8)(9)(10)(12)(16)(18)
4: (1 17 15)
(0 7 3)(1 13 11)(2 20 14)(4)(5 19 6)(8)(9)(10)(12)(15)(16)(17)(18)